下图|弧线_凸优化2凸集和凸函数

篇首语：本文由编程笔记#小编为大家整理，主要介绍了凸优化 - 2 - 凸集和凸函数相关的知识，希望对你有一定的参考价值。

         本总结是是个人为防止遗忘而作&＃xff0c;不得转载和商用。

前提说明&＃xff1a;为了方便查阅&＃xff0c;我将整个凸优化的内容分成了很多部分&＃xff0c;因为后面的部分用到了前面的知识&＃xff0c;所以&＃xff0c;如果你的目的是查看后面的内容但对前面的某个知识点不甚了解的话可以根据标题查看前面的部分。

         既然是讲解凸优化&＃xff0c;那不了解凸集怎么能行&＃xff0c;不过在此之前先了解个和凸集有“一点点”不同的仿射集。

         仿射集&＃xff1a;若通过集合C中任意两个不同点的直线仍在集合C内&＃xff0c;则称集合C为仿射集。

         数学语言表达的话就是&＃xff1a;

         这个知道下就好&＃xff0c;下面看看凸集的定义吧。

         凸集&＃xff1a;若集合C内任意两点间的线段均在集合C内&＃xff0c;则称集合C为凸集。

         定义的数学语言版&＃xff1a;

         嘛&＃xff0c;定义还是蛮好理解的&＃xff0c;我就不多解释了&＃xff0c;下面看几个例子来排除下某些容易混淆的家伙。

         上图的第一排&＃xff1a;

                   第一个&＃xff1a;是凸集

                   第二个&＃xff1a;不是凸集&＃xff0c;原因图中已经标的很清楚了

                   第三个&＃xff1a;不是凸集&＃xff0c;有些边没有包含集合的话也不能叫凸集。

凸集和凸函数&＃xff1a;

         有了前面的基础之后&＃xff0c;凸函数就好说明了&＃xff08;其实主要是其定义的数学表达公式容易理解&＃xff09;。

         首先先给出凸函数的图像&＃xff0c;如下&＃xff1a;

         你可能会问&＃xff1a;这不是凹函数吗&＃xff1f;

         诚然&＃xff0c;在数学中这种图形的函数有的叫凹函数&＃xff0c;有的叫下凸函数&＃xff0c;反正叫什么的都有&＃xff0c;但&＃xff01;在机器学习中&＃xff0c;这种就是凸函数&＃xff0c;完全没有歧义&＃xff01;

         不过仅仅说“这种是凸函数”还是不能让人信服&＃xff0c;于是我们来看看凸函数的定义吧。

         定义&＃xff1a;

                  若函数f的定义域domf为凸集&＃xff0c;且满足

                        ∀x,y ∈ domf&＃xff0c;0≤θ≤1&＃xff0c;有

                        f(θx &＃43; (1-θ)y) ≤ θf(x) &＃43; (1-θ)f(y)     式2

                  则这样的函数f就是凸函数。

         什么意思&＃xff1f;来看下图&＃xff0c;下图的弧线是函数f的曲线。

         还记得之前“直线的向量表达”的内容吗&＃xff1f;(不记得的话看看本总结的最开始)。

         θx &＃43; (1-θ)y&＃xff1a;代表x和y之间的某个点&＃xff0c;如果θ&＃61;0&＃xff0c;就是y点&＃xff0c;如果θ&＃61;1就是x点。

         于是式2的左边不用多说&＃xff0c;仅仅是单纯的把(θx &＃43; (1-θ)y)这个点带入函数f&＃xff0c;也就是上图x和y之间的弧线。

         还是根据“直线的向量表达”的知识&＃xff0c;式2的右边就是点(x,f(x))和点(y,f(y))之间的线段。

         于是定义就是表达&＃xff1a;如果“函数f上任意两点的连线”在“函数f这两点之间函数f图像”的上面的话&＃xff0c;这样的函数就是凸函数。

         或者简单的说&＃xff1a;如果悬线在函数上方&＃xff0c;那这样的函数就是凸函数。

         凸函数的定义OK了&＃xff0c;就进一步说点东西&＃xff1a;

         如果一个函数是凸函数&＃xff0c;则该函数的图像上方区域一定是凸集。反过来也成立&＃xff0c;即&＃xff1a;如果一个函数图像的上方区域是凸集&＃xff0c;则该函数是凸函数&＃xff0c;于是如下图所示&＃xff1a;

         这个图像就是函数y&＃61;x²的图像&＃xff0c;这个函数是个在明显不过的凸函数&＃xff0c;它的上方区域就是凸集。

         一些比较常见的凸函数有&＃xff1a;

保持函数凸性的算子

         知道了什么是凸函数后&＃xff0c;这里说下什么样的运算会让函数不丢失凸性。

         下面的f(x)代表凸函数&＃xff0c;而下面的运算的结果会继续保持凸性&＃xff1a;

                  1&＃xff0c;凸函数的非负加权和

                            f(x) &＃61; w₁f₁(x)&＃43; ... &＃43; w_nf_n(x)&＃xff0c;w_n > 0

                   2&＃xff0c;凸函数与仿射函数的复合

                            g(x)&＃61; f(Ax &＃43; b)

                            eg&＃xff1a;y &＃61; u²是凸函数&＃xff0c;而u &＃61;ax&＃43;b&＃xff0c;则 y &＃61; (ax&＃43;b)²也是凸函数

                   3&＃xff0c;凸函数的逐点最大值、逐点上确界

                            a&＃xff0c;f(x) &＃61; max(f₁(x),..., f_n(x))

                            b&＃xff0c;f(x) &＃61; sup g(x,y)&＃xff0c;其中y∈A

         这里特别说明下上面的第三条&＃xff0c;一是仅看公式不太好理解&＃xff0c;二是这条十分重要&＃xff01;

         第三条中的a的意思是&＃xff1a;如果fn(x)是凸的&＃xff0c;则对fn(x)逐点最大值形成的函数也是凸的&＃xff0c;见下图&＃xff1a;

         这里我随便给了两个凸函数(两个红色的曲线就是这两个函数的图像)&＃xff0c;我在坐标轴上随便取四个点x1,x2,x3,x4&＃xff0c;这四个点在两个函数中都有对应的值&＃xff0c;而这时我们取较大的那个&＃xff0c;即&＃xff1a;图中蓝色箭头所指的地方&＃xff0c;按照这样的方式把两个函数的定义域取一遍从而形成一个新函数&＃xff1a;蓝色弧线框住的部分。而这个新函数也一定是凸函数。

         好了&＃xff0c;上面的理解了后我问读这篇文字的你一个问题&＃xff1a;直线是凸函数吗&＃xff1f;

         答案是&＃xff1a;是。

         因为&＃xff0c;如下图&＃xff1a;

                   图1

         上图那些蓝色的是直线&＃xff08;不要吐槽箭头&＃xff0c;QQ截图里没法画直线....&＃xff09;&＃xff0c;这些直线够乱的了吧&＃xff0c;这时按照上面第三条中的a中的说法&＃xff0c;我取所有直线的最上面的区域&＃xff0c;即红色那块&＃xff0c;是凸函数吧&＃xff01;于是直线就是凸函数。

         顺便一提&＃xff1a;上面包围红色的那些线就是这所有直线函数的上确界。

         至于&＃xff0c;上面第三条中的b&＃xff0c;其实就是a的连续版本&＃xff0c;它的意思是&＃xff1a;如果g(x, y)是凸的&＃xff0c;我们对y在所有的集合中取上界(和max几乎一个意思)&＃xff0c;那它的结果f(x)也是凸的。